ЛО́ГИКА, -и, ж. 1. Наука о законах и формах мышления. Формальная логика. Диалектическая логика. (Малый академический словарь, МАС)
ПРЕДИКА́Т, -а, м. 1. Лог. То, что в суждении высказывается о предмете суждения; логическое сказуемое. (Малый академический словарь, МАС)
ЛО́ГИКА, -и, ж. 1. Наука о законах и формах мышления. Формальная логика. Диалектическая логика.
Все значения слова «логика»ПРЕДИКА́Т, -а, м. 1. Лог. То, что в суждении высказывается о предмете суждения; логическое сказуемое.
Все значения слова «предикат»Вышеназванные категории языка логики предикатов можно выразить с помощью определённых символов, с которыми мы будем постоянно встречаться при изучении курса.
Одним из основных достоинств логики предикатов является её выразительная мощь.
История логики предикатов первого порядка свидетельствует о том, что идеалы логики не могут быть заданы произвольно.